package main;

import model.FileOpener;
import model.Monitor;

public class Main {
	public static void main(String args0[]){
		int mpre[][],mpost[][],
			m0[] = {1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0};
		FileOpener f = new FileOpener("src/model/petri/mpost.txt");
		mpost = f.Read();
		f.setInstream("src/model/petri/mpre.txt");
		mpre = f.Read();
		Monitor m = new Monitor(mpre,mpost,m0);
	}
	
	public synchronized static void PrintEstadoActual(Monitor m){
		System.out.println("Transiciones Sensibilizadas:");
		for(int i=0;i<m.cantTransiciones();i++){
			System.out.println("t"+ i +" = " + m.esSensibilizada(i));
		}
		System.out.print("Marca:");
		for(int i:m.getMarca()){
			System.out.print(i+",");
		}
		System.out.println();
	}
}
